منابع مشابه
Universes over Frege structures
We investigate universes axiomatized as sets with natural closure conditions over Frege structures. In the presence of a natural form of induction, we obtain a theory of proof-theoretic strength 0 .
متن کاملFrege Structures for Partial Applicative Theories
Due to strictness problems, usually the syntactical definition of Frege structures is conceived as a truth theory for total applicative theories. To investigate Frege structures in a partial framework we can follow two ways. First, simply by ignoring undefinedness in the truth definition. Second, by introducing of a certain notion of pointer. Both approaches are compatible with the traditional ...
متن کاملROUGH SET OVER DUAL-UNIVERSES IN FUZZY APPROXIMATION SPACE
To tackle the problem with inexact, uncertainty and vague knowl- edge, constructive method is utilized to formulate lower and upper approx- imation sets. Rough set model over dual-universes in fuzzy approximation space is constructed. In this paper, we introduce the concept of rough set over dual-universes in fuzzy approximation space by means of cut set. Then, we discuss properties of rough se...
متن کاملHamiltonian structures for compact homogeneous universes
Hamiltonian structures for spatially compact locally homogeneous vacuum universes are investigated, provided that the set of dynamical variables contains the Teichmüller parameters, parameterizing the purely global geometry. One of the key ingredients of our arguments is a suitable mathematical expression for quotient manifolds, where the universal cover metric carries all the degrees of freedo...
متن کاملMulti-granulation fuzzy probabilistic rough sets and their corresponding three-way decisions over two universes
This article introduces a general framework of multi-granulation fuzzy probabilistic roughsets (MG-FPRSs) models in multi-granulation fuzzy probabilistic approximation space over twouniverses. Four types of MG-FPRSs are established, by the four different conditional probabilitiesof fuzzy event. For different constraints on parameters, we obtain four kinds of each type MG-FPRSs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2003
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00040-4